program derivationの例文

例文

  1. Another complementary approach is program derivation, in which efficient code is produced from correctness by construction.
  2. Description : David Gries'textbook The Science of Programming describes Dijkstra's weakest precondition method of formal program derivation, except in a very much more accessible manner than Dijkstra's earlier " A Discipline of Programming ".

隣接する単語

  1. "program deck"の例文
  2. "program decoder"の例文
  3. "program decomposition"の例文
  4. "program delivery"の例文
  5. "program dependence graph"の例文
  6. "program description"の例文
  7. "program descriptions"の例文
  8. "program design"の例文
  9. "program design language"の例文
  10. "program designation"の例文
  11. "program delivery"の例文
  12. "program dependence graph"の例文
  13. "program description"の例文
  14. "program descriptions"の例文
パソコン版で見る

著作権 © 2024 WordTech 株式会社